(try_cursor_movement): Exclude header line from scroll
authorKim F. Storm <storm@cua.dk>
Tue, 15 Jun 2004 10:35:05 +0000 (10:35 +0000)
committerKim F. Storm <storm@cua.dk>
Tue, 15 Jun 2004 10:35:05 +0000 (10:35 +0000)
commit47c5ab86d4a3bf0d881b4a5872f63a43960d46ef
tree085d600b5bef4af991b58928161a6ebe4edde731
parent80d3b43a769872a2a915176742097539aa671805
(try_cursor_movement): Exclude header line from scroll
margin at top of window.
(try_window_reusing_current_matrix): Calculate proper cursor position
after scrolling up with non-zero scroll margin, as the old cursor
position corresponds to value of PT before executing this command.
(try_window_id): Consider scroll margin at bottom of window too;
otherwise we fail to scroll when hl-line-mode is enabled.
src/xdisp.c